Docs: fixes from Eric S. Raymond.