Cleanup mistakes in DPLL