Quick fixes to address a possible corruption danger in leveldb