Docstring tweak for pull req #6461