Corrects a mistake in the Vagrantfile