diff --git a/data/AUTHORS b/data/AUTHORS
--- a/data/AUTHORS
+++ b/data/AUTHORS
@@ -3,6 +3,6 @@
   Simon Meier      <iridcode@gmail.com>
 
 Contributors:
-  protocol models, GUI:   Cas Cremers <cas.cremers@inf.ethz.ch>
+  protocol models, GUI:   Cas Cremers <cas.cremers@cs.ox.ac.uk>
   original web interface: Cedric Staub <cs@cssx.ch
   YubiKey models:         Robert Kuennemann <kunneman@lsv.ens-cachan.fr>
diff --git a/tamarin-prover.cabal b/tamarin-prover.cabal
--- a/tamarin-prover.cabal
+++ b/tamarin-prover.cabal
@@ -1,7 +1,7 @@
 cabal-version:      >= 1.8
 build-type:         Simple
 name:               tamarin-prover
-version:            0.8.6.0
+version:            0.8.6.1
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers
@@ -235,11 +235,12 @@
         , yesod-core        >= 1.2.6.6
         , yesod-json        >= 1.2
         , yesod-static      >= 1.2
-        , conduit           >= 0.5
+        , conduit           == 1.0.*
         -- , yesod-form        == 0.4.*   -- required once we reactivate editing
         , text              == 0.11.*
         , wai               >= 1.3
         , hamlet            >= 1.1
+        , shakespeare       == 2.0.*
         , warp              >= 1.3
         , aeson             == 0.6.*
         , old-locale        == 1.*