Vagrantfile correction