Some minor changes to the Vagrant section