missed one 32/64 type conversion