Fixed trace output
ext_* are properties, needed for DPD