Fixed a typo in debug.h