Bugfix: recently introduced bug in cgenArr