Tom's tweaks to seismograph.html