Something wrong in the chang logs?

Hi! In the chang logs, about the release of V10, it said “Changes since FreeRTOS V9.0.1: ” However, I can’t find the V9.0.1, I think it should be V10, and this also occurs in https://www.freertos.org/History.txt Is it a typo?

Something wrong in the chang logs?

V9.0.1 was provided for distribution to some tools partners, but there was never a separate .zip download from SourceForge, so its not a typo.