small latex typos