--- a/conformancetest/gentest.html Wed Sep 07 11:40:40 2011 -0600
+++ b/conformancetest/gentest.html Wed Sep 07 11:42:00 2011 -0600
@@ -60,7 +60,7 @@
.removeChild(document.getElementById("test-container"));
var elapsed = Math.round(Date.now() - startTime)/1000;
document.getElementById("timing").textContent =
- "Time elapsed: " + Math.floor(elapsed/60) + ":" + (elapsed % 60) + " min.";
+ "Time elapsed: " + Math.floor(elapsed/60) + ":" + (elapsed % 60).toFixed(3) + " min.";
getSelection().selectAllChildren(document.getElementById("output"));
}