Fix warning with 64bit