Cleaned up DNF and DNFTets done.