Some improvements to documentation. (No code changes.)