font-lock bug