Minor fix of a docstring.