Fixing typo in debugging macros