fix error in Vagrantfile