Minor documentation fix.
Fixed a documentation issue.