fix a memory leak in ddb_cons_free