Fix TeX markup.