Further tweaks to dotfiles