minor tweaks to testdoc.html