yet more pdf viewer line numbering fixes