Fix bug in db vm