Fix copy&paste error in Vagrantfile comment