Correct the type of int everywhere.