fix int64