diff --git a/legion.cabal b/legion.cabal
--- a/legion.cabal
+++ b/legion.cabal
@@ -2,7 +2,7 @@
 -- documentation, see http://haskell.org/cabal/users-guide/
 
 name:                legion
-version:             0.5.0.0
+version:             0.5.0.1
 synopsis:            Distributed, stateful, homogeneous microservice framework.
 description:         Legion is a framework for writing distributed,
                      homogeneous, stateful microservices in Haskell.
@@ -50,36 +50,36 @@
     Paths_legion
   -- other-extensions:
   build-depends:
-    Ranged-sets >= 0.3.0 && < 0.4,
-    aeson >= 0.11.2.0 && < 0.12,
-    attoparsec >= 0.13.0.1 && < 0.14,
-    base >= 4.8 && < 4.9,
-    binary >= 0.7.5 && < 0.9,
-    binary-conduit >= 1.2.3 && < 1.3,
-    bytestring >= 0.10.4.0 && < 0.11,
-    canteven-http >= 0.1.1.1 && < 0.2,
-    canteven-log >= 1.0.0.0 && < 1.1,
-    conduit >= 1.2.4 && < 1.3,
-    conduit-extra >= 1.1.9 && < 1.2,
-    containers >= 0.5.5.1 && < 0.6,
-    data-default-class >= 0.0.1 && < 0.2,
-    data-dword >= 0.3 && < 0.4,
-    directory >= 1.2.1.0 && < 1.3,
-    exceptions >= 0.8 && < 0.9,
-    http-types >= 0.9.1 && < 0.10,
-    monad-logger >= 0.3.17 && < 0.4,
-    network >= 2.6.2.1 && < 2.7,
-    scotty >= 0.11.0 && < 0.12,
-    scotty-resource >= 0.1 && < 0.2,
-    stm >= 2.4.4.1 && < 2.5,
-    text >= 1.2.2.0 && < 1.3,
-    time >= 1.4.2 && < 1.6,
-    transformers >= 0.3.0.0 && < 0.5,
-    unix >= 2.7 && < 2.8,
-    uuid >= 1.3.11 && < 1.4,
-    wai >= 3.2.1.1 && < 3.3,
-    wai-extra >= 3.0.16.1 && < 3.1,
-    warp >= 3.2 && < 3.3
+    Ranged-sets        >= 0.3.0    && < 0.4,
+    aeson              >= 0.11.2.0 && < 0.12,
+    attoparsec         >= 0.13.0.1 && < 0.14,
+    base               >= 4.8      && < 4.10,
+    binary             >= 0.7.5    && < 0.9,
+    binary-conduit     >= 1.2.3    && < 1.3,
+    bytestring         >= 0.10.4.0 && < 0.11,
+    canteven-http      >= 0.1.1.1  && < 0.2,
+    canteven-log       >= 1.0.0.0  && < 2.1,
+    conduit            >= 1.2.4    && < 1.3,
+    conduit-extra      >= 1.1.9    && < 1.2,
+    containers         >= 0.5.5.1  && < 0.6,
+    data-default-class >= 0.0.1    && < 0.2,
+    data-dword         >= 0.3      && < 0.4,
+    directory          >= 1.2.1.0  && < 1.3,
+    exceptions         >= 0.8      && < 0.9,
+    http-types         >= 0.9.1    && < 0.10,
+    monad-logger       >= 0.3.17   && < 0.4,
+    network            >= 2.6.2.1  && < 2.7,
+    scotty             >= 0.11.0   && < 0.12,
+    scotty-resource    >= 0.1      && < 0.3,
+    stm                >= 2.4.4.1  && < 2.5,
+    text               >= 1.2.2.0  && < 1.3,
+    time               >= 1.4.2    && < 1.7,
+    transformers       >= 0.3.0.0  && < 0.6,
+    unix               >= 2.7      && < 2.8,
+    uuid               >= 1.3.11   && < 1.4,
+    wai                >= 3.2.1.1  && < 3.3,
+    wai-extra          >= 3.0.16.1 && < 3.1,
+    warp               >= 3.2      && < 3.3
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options: -Wall -W -fwarn-incomplete-uni-patterns
diff --git a/src/Network/Legion/Propagation.hs b/src/Network/Legion/Propagation.hs
--- a/src/Network/Legion/Propagation.hs
+++ b/src/Network/Legion/Propagation.hs
@@ -104,7 +104,7 @@
 {- |
   Create a new propagation state based on an existing power state.
 -}
-initProp :: (ApplyDelta d s, Eq p, Ord p)
+initProp :: (ApplyDelta d s, Ord p)
   => p
   -> PropPowerState o s p d
   -> PropState o s p d
diff --git a/src/Network/Legion/Runtime.hs b/src/Network/Legion/Runtime.hs
--- a/src/Network/Legion/Runtime.hs
+++ b/src/Network/Legion/Runtime.hs
@@ -573,8 +573,8 @@
 
 
 {- | Figure out how to construct the initial node state.  -}
-makeNodeState :: (Show i)
-  => RuntimeSettings
+makeNodeState
+  :: RuntimeSettings
   -> StartupMode
   -> LIO (Peer, NodeState i s, Map Peer BSockAddr)