Fixed "int" cast to be an "Integer" cast