auctex mode refined