Minor improvement in Emacs user manual