Fix a documentation problem.