diff --git a/quipper-core.cabal b/quipper-core.cabal
--- a/quipper-core.cabal
+++ b/quipper-core.cabal
@@ -1,19 +1,26 @@
 name:                quipper-core
-version:             0.8
+version:             0.8.0.1
 synopsis:            An embedded, scalable functional programming language for quantum computing.
 description:
         Quipper is an embedded, scalable functional programming language for quantum computing. It provides, among other things:
         .
         * A high-level circuit description language. This includes gate-by-gate descriptions of circuit fragments, as well as powerful operators for assembling and manipulating circuits.
+        .
         * A monadic semantics, allowing for a mixture of procedural and declarative programming styles.
+        .
         * Built-in facilities for automatic synthesis of reversible quantum circuits, including from classical code.
+        .
         * Support for hierarchical circuits.
+        .
         * Extensible quantum data types.
+        .
         * Programmable circuit transformers.
+        .
         * Support for three execution phases: compile time, circuit generation time, and circuit execution time. A dynamic lifting operation to allow circuit generation to be parametric on values generated at circuit execution time.
+        .
         * Extensive libraries of quantum functions, including: libraries for quantum integer and fixed-point arithmetic; the Quantum Fourier transform; an efficient Qram implementation; libraries for simulation of pseudo-classical circuits, Stabilizer circuits, and arbitrary circuits; libraries for exact and approximate decomposition of circuits into specific gate sets.
         .
-        This package contains all of quipper, except for the rendering part, which has been separated into the quipper-to reduce dependencies.
+        This package contains all of quipper, except for the rendering part, which has been separated into the quipper-rendering package to reduce dependencies.
 homepage:            http://www.mathstat.dal.ca/~selinger/quipper/
 license:             BSD3
 license-file:        COPYRIGHT
diff --git a/src/Quipper/QData.hs b/src/Quipper/QData.hs
--- a/src/Quipper/QData.hs
+++ b/src/Quipper/QData.hs
@@ -12,7 +12,7 @@
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE UndecidableInstances #-}
 
-{-# OPTIONS -freduction-depth=50 #-}
+{-# OPTIONS -fcontext-stack=50 #-}
 
 -- -O0 is needed for this file, because -O1 triggers a compiler bug in
 -- ghc 7.2.2 (see http://hackage.haskell.org/trac/ghc/ticket/6168),