Dropped unneeded use of Integer for Int