fix 64bit warning