Fix a compilation failure that occurs when DEBUG is undefined