Fix mistake in doc.