Update documentation.

Fixes #5109