Several minor corrections to documentation. No code changes.