some fix in wdgm_command:checkpoint_gen/1