LabelingArithmetic: Marked former warning as debug message