What is an iPhone 4,1? I have developed an iOS app, and I am using a service called TestFlight to distribute the application to some beta testers.

Here is an image of the service:



What is an iPhone4,1?

If it is referring to a normal iPhone 4, I suppose it wouldn't include the ,1 there. So what is this? Perhaps some model number?
iPhone4,1 = iPhone 4s



Full list:

╔═══════════════╦═══════════╗  
║ iPhone        ║ iPhone1,1 ║
║ iPhone 3G     ║ iPhone1,2 ║
║ iPhone 3Gs    ║ iPhone2,1 ║
║ iPhone 4      ║ iPhone3,1 ║
║ iPhone 4s     ║ iPhone4,1 ║
║ iPhone 5 GSM  ║ iPhone5,1 ║
║ iPhone 5 CDMA ║ iPhone5,2 ║
║ iPhone 5c     ║ iPhone5,3 ║
║ iPhone 5s     ║ iPhone6,1 ║
║ iPhone 6      ║ iPhone7,2 ║
║ iPhone 6 Plus ║ iPhone7,1 ║
╚═══════════════╩═══════════╝