Revert "Fix documentation."

My mistake: the doc was actually correct.

This reverts commit 7c0dd234ba7bce7420a508ac3991d9da66d0365a.