adt_op*: minor cleanup