Why suddenly use Int32 here?