Popravki uporabe dpll seznama.