Minor tweaks to some PlanetMath blocks; fix #412