PLATFORMS.md: Fix missing comma