What's up with the version number? WPtouch 1.9.42 is showing an update to 1.9.5 instead of 1.9.43 or some other number larger than 42.

Because of this, the plugin is not updatable in the WordPress backend. I only discovered the new version here on wordpress.org. Is the intent to have us deinstall 1.9.42 and then install "1.9.5", or is it just a typo and the version should have been 1.9.50?