fix a minor typo in platforms.html
Merge pull request #1573 from rozha/master

fix a minor typo in platforms.html