fix minor error in Vagrantfile