Bring documentation in sync with code.

Spotted by: Juan J. Martínez