minor docstring fix (see #808)