dot_vimrc: minor polishing.