Corrected version of cnf-dnf.