minor tweak to latex output of correct tags