Documentation improvements (no code changes).