wrong device name in description

Samsung S4 mini -> codename serranoltexx !

Summary

As owning this device myself and having flashed ROMS several times, I come across to notice that there is a mistake in the title of the description which may confuse other users who look after the /e/OS for this phone.... Codename "serranoltexx" correspond to the smaller S4 mini (LTE-version, released 2013), the mentionned S4 (Samsungs flagship from 2013)has codename "ja3gxx" for the 3G initial version of the device (GT-i9500)...