Update HashDB.hs