fix WDM debugging