Minor fix for 32 bit.