Fix mistake in doc