minor changes in .vimrc