You just hit a line numbering bug, please complain