minor mods to dotfiles