Correct int cast.