Emacs: Fix prolog