Fix a line numbering bug.