diff --git a/src/main/resources/static/main.js b/src/main/resources/static/main.js
index 621081008953d1b29faaf7edfa2a3b59e905e1fb..54fc914105c9e7a3ade571598d9633c50bf295f9 100644
--- a/src/main/resources/static/main.js
+++ b/src/main/resources/static/main.js
@@ -16,9 +16,10 @@ var count;
 function do_the_sending(corpus_files,file_exts,resolve) {
   for (var i = 0 ; i <corpus_files.length; i++) {
     file_exts.forEach(function(e) {
-      if (corpus_files[i].name.endsWith(e)) {
+      if (corpus_files[i].name.endsWith(e.replace("\*.","")) || e == "*") {
         var reader = new FileReader();
         reader.addEventListener("load", ((name) => { return () => {
+          console.log("send file " + name)
           var content = reader.result;
           --count;
           $.ajax({
@@ -56,6 +57,7 @@ function send_files() {
     var functions = []
     $("#corpus_checker_form input:checked").each((index,element) => functions.push(element.value));
     var url = "check_corpus?input=tmp&output=tmp&functions=" + functions.join(",") + "&token=tmp&callback="
+    console.log("call url " + url)
     $.ajax({
       url: url,
       type: "GET",
diff --git a/src/main/resources/templates/root.vm b/src/main/resources/templates/root.vm
index 5d84b095d5fe31bf77d229eeef7370fb621f76c8..bd4f8d3e24f4c38a556e94b1dc2262712b28f598 100644
--- a/src/main/resources/templates/root.vm
+++ b/src/main/resources/templates/root.vm
@@ -18,7 +18,8 @@
   </div>
   <!-- Filtering by file extension -->
   <div class="row">
-    <label of="file-exts">File filter (by file extensions):</label>
+    <label of="file-exts">File filter (by file extensions, comma-separated, either in the form exb or *.exb and *
+    matching everything):</label>
     <input type="text" id="file-exts" value="*">
   </div>
   <!-- Config file selector -->