line numbering: minor change