Some updates to dotfiles