Fixes for Auctex faces; some misnamed faces, and there's no face named closed to font-latex-title-4