hyperleveldb: rename formula.