fix type check failure (Int32 vs Int64)