Minor changes to Vagrantfile