More emacs/TeX stuff