Fix 64bit warning