minor fix for debug.h