Fix bug regarding line numbering