Nope, you're absolutely right! It's a typo! If you download the assets though, it will be the 0.4.2 version for sure! You can verify by looking at the version in the main menu.
