fix a little bug in .emacs