Minor customisation to dotfiles