Doc fix.
Tiny improvement.