fix error in platforms.json