diff --git a/static/js/data.js b/static/js/data.js
index 30d795b0..2774c7d5 100644
--- a/static/js/data.js
+++ b/static/js/data.js
@@ -81,10 +81,10 @@ class method {
       return new method(vals[0], null)
     }
   }
-  toString() {
+  toString(separator="/") {
     var str = this.name;
     if (this.basis) {
-      str = str + '/' + this.basis;
+      str = str + separator + this.basis;
     }
     return str;
   }