emacs: Correct names of info files