Removing confusing int cast #3132