small latex formatting fixes