Small fix in db manager.