minor changes to dotfiles