Fix a Latex typo