Docs: minor git-push copyediting