Make DBG_DISCARD correct