diff --git a/CHANGES b/CHANGES
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,13 @@
+3.8.7.4
+  Re-export runWithFuel as per Justin Bailey
+
+3.8.7.3
+  Uploaded to Hackage by Ian Lynagh; appears to contain updates
+  that use Safe Haskell if GHC >= 7.2 (thanks David Terei)
+
+3.8.7.2
+  Version changed with no record of update; never uploaded to Hackage
+
 3.8.7.1
   Eliminate warning about nonexhaustive pattern match (thanks Edward Yang)
 
diff --git a/hoopl.cabal b/hoopl.cabal
--- a/hoopl.cabal
+++ b/hoopl.cabal
@@ -1,9 +1,10 @@
 Name:                hoopl
-Version:             3.8.7.3
+Version:             3.8.7.4
 -- version 3.8.6.0 is the version that goes with the camera-ready Haskell'10 paper
 -- version 3.8.7.0 works with GHC 7
 -- version 3.8.7.1 adds some unnamed functions without breaking compatibility
 -- version 3.8.7.2 adds Compiler.Hoopl.Fuel.liftFuel
+-- version 3.8.7.4 re-exports runWithFuel
 Description:         Higher-order optimization library
 License:             BSD3
 License-File:        LICENSE
@@ -12,7 +13,6 @@
 Homepage:            http://ghc.cs.tufts.edu/hoopl/
 Build-Type:          Simple
 Cabal-Version:       >=1.6
-Stability:           alpha
 Synopsis:            A library to support dataflow analysis and optimization
 Category:            Compilers/Interpreters
 Extra-Source-Files:  README, hoopl.pdf, CHANGES, FAQ
diff --git a/src/Compiler/Hoopl.hs b/src/Compiler/Hoopl.hs
--- a/src/Compiler/Hoopl.hs
+++ b/src/Compiler/Hoopl.hs
@@ -26,7 +26,7 @@
 import Compiler.Hoopl.Dataflow hiding ( wrapFR, wrapFR2, wrapBR, wrapBR2
                                       )
 import Compiler.Hoopl.Debug
-import Compiler.Hoopl.Fuel hiding (withFuel, getFuel, setFuel, runWithFuel)
+import Compiler.Hoopl.Fuel hiding (withFuel, getFuel, setFuel)
 import Compiler.Hoopl.Graph hiding 
    ( Body
    , BCat, BHead, BTail, BClosed -- OK to expose BFirst, BMiddle, BLast