Fix documentation.

Closes #1823.