fix a minor typo in platforms.html