Some changes to dotfiles