Minor changes for auctex and org