Correcting a mistake in the doc