Fix benchmark verification code