Corrected doc file to match changes in previous commit.

This change should have accompanied 6af77228b07a61a46bcc08308108b62ff99d96ce.