bugfix for op.dump