REGEN: for version 0.8.9