minor fix in a docstring