Automate auctex bit...crudely.