Make this pass on 32 bit.