Fix a small Emacs bug