REGEN: for version 0.9.4