fix a crash that happened only without -verify