fixing a silly mistake in the reduction