tex higlighting fixes