Stupid latex-related bug (#7)