Fix type mistake in platform names