diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,5 +1,9 @@
 -*- mode: outline -*-
 
+* 0.5.2
+Maintenance update because a new (incompatible) version of bitset, version 1.0,
+was released.  Funsat should again compile via cabal-install.
+
 * 0.5.1
 ** Update for compatibility with parse-dimacs 1.2,
 which should mean faster parsing.
diff --git a/bugs.org b/bugs.org
--- a/bugs.org
+++ b/bugs.org
@@ -11,7 +11,8 @@
   :END:
 ** DEFECT resTrace field of resolution trace needn't be there
    - State "DEFECT"     [2008-10-10 Fri 16:30] \\
-     I think it's just keeping around too much info.
+     I think it's just keeping around too much info.  It doesn't affect the
+     correctness of the code.
 
 * fiblib
 ** FEATURE Implement ST-based fibonacci heap
diff --git a/funsat.cabal b/funsat.cabal
--- a/funsat.cabal
+++ b/funsat.cabal
@@ -1,5 +1,5 @@
 Name:                funsat
-Version:             0.5.1
+Version:             0.5.2
 Cabal-Version:       >= 1.2
 Description:
 
@@ -17,7 +17,7 @@
 Synopsis:            A modern DPLL-style SAT solver
 Homepage:            http://github.com/dbueno/funsat
 Category:            Algorithms
-Stability:           alpha
+Stability:           beta
 License:             LGPL
 License-file:        LICENSE
 Author:              Denis Bueno
@@ -46,32 +46,17 @@
                       Control.Monad.MonadST
                       Properties
 
- Build-Depends:       base, parsec, containers, pretty, mtl
-                      , array, QuickCheck, parse-dimacs >= 1.2, bitset
-                      , fgl, time
-
--- Executable funsat-prof
---  Main-is:             Main.hs
---  Ghc-options:         -prof -auto-all
---                       -funbox-strict-fields
---                       -W
---                       -fwarn-dodgy-imports -fwarn-incomplete-record-updates
---                       -fwarn-unused-binds -fwarn-unused-imports
---  Extensions:          CPP
---  CPP-options:         -DTESTING
---  Hs-source-dirs:      . tests
---  Other-modules:       Funsat.Solver
---                       Funsat.Types
---                       Funsat.Resolution
---                       Funsat.FastDom
---                       Funsat.Utils
---                       Funsat.Monad
---                       Text.Tabular
---                       Control.Monad.MonadST
---                       Properties
---  Build-Depends:       base, parsec, containers, pretty, mtl
---                       , random, array, QuickCheck, parse-dimacs >= 1.2, bitset
---                       , fgl, time
+ Build-Depends:       base,
+                      random,
+                      containers,
+                      pretty,
+                      mtl,
+                      array,
+                      QuickCheck,
+                      parse-dimacs >= 1.2 && < 2,
+                      bitset < 1,
+                      fgl,
+                      time
 
 
 Library
@@ -88,6 +73,12 @@
                       -fwarn-unused-binds -fwarn-unused-imports
  Extensions:          CPP
  Hs-source-dirs:      . tests
- Build-Depends:       base, parsec, containers, pretty, mtl
-                      , random, array, QuickCheck, parse-dimacs >= 1.2, bitset
-                      , fgl
+ Build-Depends:       base,
+                      containers,
+                      pretty,
+                      mtl,
+                      array,
+                      QuickCheck,
+                      parse-dimacs >= 1.2 && < 2,
+                      bitset < 1,
+                      fgl