fix useless int cast