Fixed a bug in the version numbers