auctex mode some fixes