Finish bug in redRepNN: reduce c only modulo <E>, not N