diff --git a/tool/lib/JSONLib.jq b/tool/lib/JSONLib.jq
index 2d151c4..d1beb96 100644
--- a/tool/lib/JSONLib.jq
+++ b/tool/lib/JSONLib.jq
@@ -217,7 +217,7 @@ def _encodeJSONValueColourPretty($indent; $currentDepth):
 
 
 def encodeJSON($withColour; $indent):
-  if ($withColour | not) and ($indent == 0) then
+  if ($withColour == false) and ($indent == 0) then
     tojson
   else
     if $withColour then