Comment on a line-numbering bug.