some kluge fix on dbgout
(#12)