diff --git a/src/www/syntax-editor/editor.js b/src/www/syntax-editor/editor.js
index c7622a058..be6b84820 100644
--- a/src/www/syntax-editor/editor.js
+++ b/src/www/syntax-editor/editor.js
@@ -479,7 +479,7 @@ Editor.prototype.generate_random = function() {
     var err = function(data){
         alert("Error");
     };
-    server.get_random(args, cont, err);
+    t.server.get_random(args, cont, err);
 }
 
 // Redraw tree
@@ -580,6 +580,6 @@ Editor.prototype.import_ast = function(abstr) {
     var err = function(tree){
         alert("Invalid abstract syntax tree");
     };
-    server.pgf_call("abstrjson", args, cont, err);
+    t.server.pgf_call("abstrjson", args, cont, err);
 }