Bug with debug.h