diff --git a/Frontend/tools/xquery.html b/Frontend/tools/xquery.html
index 1d85ed6..fd0a56a 100644
--- a/Frontend/tools/xquery.html
+++ b/Frontend/tools/xquery.html
@@ -31,9 +31,8 @@
                         </select>
                         <label for="versions">XQuery version:</label>
                         <select name="versions" id="versions">
-                            <option class="hideable saxon" value="2.0">2.0</option>
-                            <option class="hideable saxon" value="3.0">3.0</option>
                             <option class="hideable saxon" value="3.1">3.1</option>
+                            <option class="hideable saxon" value="4.0">4.0</option>
                         </select>
                     </div>
                     <div>