fix a memory leak in DiscoDB_query