fix 64bit integer warning