Fix mistake in comment