Doc fix.

Simple doc fix.