re #579: removed dsm() debug