CLEANUP: usless int casting