Fix one bug in redRepN