fix latex typos