Fixed an error in the vagrantfile