fix doh.debug for wsh