Fix a small documentation bug.