leveldb: actually remove formula.