Si, por lo visto se les olvidó actualizar la versión en la información de la build, pero no te preocupes, si flasheaste el archivo correcto, tienes la versión que toca. De todos modos ya tienes disponible la versión de hoy, y esta si actualiza correctamente la versión.
Añado al post ppal detalles de la tematización Gray KitKat que trae la ROM:
