Documentation: Fix bug.