fixed an error in the Vagrantfile