Bug fix in Vagrantfile