Fix memory leak in LevFormulaDb.