minor fix for 64-bits