Fix for line numbering bug (bug 613480).