more latex typos