1 files changed, 7 insertions, 3 deletions

diff --git a/web/src/js/filt/filt.js b/web/src/js/filt/filt.js
index 0d93b767..095081ac 100644
--- a/web/src/js/filt/filt.js
+++ b/web/src/js/filt/filt.js
@@ -1,3 +1,4 @@
+/* jshint ignore:start */
 Filt = (function() {
   /*
    * Generated by PEG.js 0.8.0.
@@ -278,11 +279,11 @@ Filt = (function() {
           expectedDescs[i] = expected[i].description;
         }
 
-        expectedDesc = (expected.length > 1
+        expectedDesc = expected.length > 1
           ? expectedDescs.slice(0, -1).join(", ")
               + " or "
               + expectedDescs[expected.length - 1]
-          : expectedDescs[0]);
+          : expectedDescs[0];
 
         foundDesc = found ? "\"" + stringEscape(found) + "\"" : "end of input";
 
@@ -1769,4 +1770,7 @@ Filt = (function() {
     SyntaxError: SyntaxError,
     parse:       parse
   };
-})();
\ No newline at end of file
+})();
+/* jshint ignore:end */
+
+module.exports = Filt;