diff --git a/src/www/js/gftranslate.js b/src/www/js/gftranslate.js
index 337334c48..4794c95a5 100644
--- a/src/www/js/gftranslate.js
+++ b/src/www/js/gftranslate.js
@@ -3,7 +3,7 @@
 
 var gftranslate = {}
 
-gftranslate.jsonurl="/robust/App15.pgf"
+gftranslate.jsonurl="/robust/App16.pgf"
 gftranslate.grammar="App" // the name of the grammar
 
 gftranslate.documented_classes=