fix a mistake in the doc string