More minor changes to Vagrant.