Re #5939. English corrections in docstring.