Fixed a problem with the platform name