bugs in dump_computed