=== modified file 'mandos-ctl'
--- mandos-ctl	2016-06-27 20:21:50 +0000
+++ mandos-ctl	2016-06-28 18:46:40 +0000
@@ -405,7 +405,11 @@
             keywords = defaultkeywords
         
         if options.dump_json:
-            json.dump({client["Name"]: {key: client[key]
+            json.dump({client["Name"]: {key:
+                                        bool(client[key])
+                                        if isinstance(client[key],
+                                                      dbus.Boolean)
+                                        else client[key]
                                         for key in keywords }
                        for client in clients.values() },
                       fp = sys.stdout, indent = 4,