Compilation error corrected on 32bits platforms.