diff --git a/src/pattern.js b/src/pattern.js
index d38c793de14..ddc210fd0e5 100644
--- a/src/pattern.js
+++ b/src/pattern.js
@@ -55,6 +55,8 @@ export default function Pattern(config = { options: {} }) {
         this.settings.options[i] = option.deg;
       else if (typeof option.count !== "undefined")
         this.settings.options[i] = option.count;
+      else if (typeof option.bool !== "undefined")
+        this.settings.options[i] = option.bool;
       else if (typeof option.dflt !== "undefined")
         this.settings.options[i] = option.dflt;
       else throw "Unknown option type";