Little fix in vagrant script