fix a bug in .emacs file