Correct a mistake in documentation