why is int casting needed here??