bug fixed in dump_computed