It seems odd to include the type (Int) in the comment.