--- a/autoimplementation.html	Tue May 31 13:31:25 2011 -0600
+++ b/autoimplementation.html	Tue May 31 13:44:42 2011 -0600
@@ -1978,6 +1978,11 @@
 
 function runTests(command) {
 	var runTestsButton = document.querySelector("#" + command + " button");
+
+	if (runTestsButton.textContent != "Run tests") {
+		return;
+	}
+
 	runTestsButton.parentNode.removeChild(runTestsButton);
 
 	var addTestButton = document.querySelector("#" + command + " button");