Yet another typo discovered by Philipp Weissenbacher