auctex: style nits