a nitpick: you don't need the Int here since it is obvious this is an integer.