Re: LaTeX font-lock bug