Fix bug in line numbering fix.