Minor improvements to the platforms.html example