Tex shouldn't spellcheck comments