Update vagrant docs, minor typos