Fix a docstring issue