Corrections in default rules over Lubm