Fix verify for 32 bit compiles