Fix a build error (not all debug code properly commented out)