Remove useless int cast