Fix 64bit compatibility warning