Fixing doc to match code.

Fixes #437.