Fixed Defalgan bug