diff --git a/hjugement-cli.cabal b/hjugement-cli.cabal
--- a/hjugement-cli.cabal
+++ b/hjugement-cli.cabal
@@ -2,7 +2,7 @@
 -- PVP:  +-+------- breaking API changes
 --       | | +----- non-breaking API additions
 --       | | | +--- code changes with no API change
-version: 0.0.0.20191028
+version: 0.0.0.20191031
 category: Politic
 synopsis: Majority Judgment and Helios-C command line tool
 description:
@@ -74,7 +74,7 @@
     -- -fhide-source-paths
   build-depends:
       hjugement >= 2.0.2
-    , hjugement-protocol >= 0.0.8
+    , hjugement-protocol >= 0.0.9
     , aeson >= 1.3
     , base >= 4.6 && < 5
     , base64-bytestring >= 1.0
diff --git a/src/Hjugement/CLI/Utils.hs b/src/Hjugement/CLI/Utils.hs
--- a/src/Hjugement/CLI/Utils.hs
+++ b/src/Hjugement/CLI/Utils.hs
@@ -95,7 +95,7 @@
 	fromSegment = return . left show . VP.readCredential . Text.pack
 instance IOType (VP.DecryptionShare VP.FFC () ())
 instance Outputable (VP.DecryptionShare VP.FFC () ()) where
-	output decShare = output $ JSON.encode decShare<>"\n"
+	output decShare = output $ JSON.encode (decShare)<>"\n"
 
 api_help full =
 	if full
@@ -305,8 +305,7 @@
  IO.FilePath ->
  (forall v c.
   VP.Reifies v VP.Version =>
-  VP.Reifies c crypto =>
-  VP.FieldElementConstraints crypto c =>
+  VP.GroupParams crypto c =>
   VP.Election crypto v c -> MaybeT m r) ->
  MaybeT m r
 loadElection glob filePath k =