DPLL: Fix err