[dotfiles] Minor tweaking