Why not cast the string to int here as is done 2 lines above?