Minor fixes to dotfiles