OSMC's July update lands (a little late) with Kodi 15

I just upgraded my Pi B, and looks good. One little thing I noticed is the version of Kodi:

osmc@osmc:~$ grep Platform .kodi/temp/kodi.log
19:01:06  19.768747 T:3023462960  NOTICE: Starting Kodi (15.1-RC1 Git:Unknown). Platform: Linux          ARM 32-bit

Is this correct, 15.1-RC1??