Minor change for .emacs