Fix two doc/emacs cross-references