Update Vagrantfile

inexplicably lost the `end`