Fixes to the BerkeleyDB cleaned checker