in reply to Bad line numbers .. bad!

It works fine for me too (v5.12.4). Do you definitely have new lines at the end of each line in your text editor?