minor updates in the emacs section