Bugfix - platform name does not get updated

This release fixes the issue where the platform name didn't get updated everywhere.