LaTeX font-lock bug