Why doesn't this line up with line 9 (full version)?