Minor tweaks to dotfiles