Fixed bug in HashDbManager