diff --git a/web/debugger.js b/web/debugger.js
index aee0c3c77..43407fdaa 100644
--- a/web/debugger.js
+++ b/web/debugger.js
@@ -180,7 +180,7 @@ var StepperManager = (function StepperManagerClosure() {
         this.selectStepper(pageNumber, false);
       return stepper;
     },
-    selectStepper: function selectStepper(pageNumber, selectPanel, change) {
+    selectStepper: function selectStepper(pageNumber, selectPanel) {
       if (selectPanel)
         this.manager.selectPanel(1);
       for (var i = 0; i < steppers.length; ++i) {