fix the int64