Fixing up a few things in the dotfiles [ci skip]