fixed a bug in dbg.h