fix problem with DEBUG_LEVEL > 0