Minor correction to Vagrantfile