LaTeX font-lock problem