fix auctex error message