diff --git a/AERN-Real.cabal b/AERN-Real.cabal
--- a/AERN-Real.cabal
+++ b/AERN-Real.cabal
@@ -1,5 +1,5 @@
 Name:           AERN-Real
-Version:        0.9.7.1
+Version:        0.9.7.2
 Cabal-Version:  >= 1.2
 Build-Type:     Simple
 License:        BSD3
@@ -10,7 +10,7 @@
 Stability:      experimental
 Category:       Data, Math
 Synopsis:       arbitrary precision interval arithmetic for approximating exact real numbers
-Tested-with:    GHC ==6.8.2
+Tested-with:    GHC ==6.8.3
 Description:
     Datatypes and abstractions for approximating exact real numbers
     and a basic arithmetic over such approximations.
@@ -27,7 +27,9 @@
     .
     Simple examples of usage can be found in module @Demo.hs@ in folder @tests@.
 Extra-source-files:
-    ChangeLog tests/Demo.hs tests/Pi.hs tests/Matrix.hs
+    tests/Demo.hs tests/Pi.hs tests/Matrix.hs
+Data-files:
+    ChangeLog
 
 Flag containers-in-base
     Default: False
@@ -78,5 +80,4 @@
     Data.Number.ER.BasicTypes,
     Data.Number.ER.Misc,
     Data.Number.ER.ExtendedInteger
-  Extensions: CPP, DeriveDataTypeable, ForeignFunctionInterface, ScopedTypeVariables, MultiParamTypeClasses, FunctionalDependencies, TypeSynonymInstances, FlexibleInstances
-  
+ 
diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+0.9.7.2: 7 October 2008
+    * hmpfr interface now uses a faster toDouble conversion
+
 0.9.7.1: 30 September 2008
     * switched the Demo program to a more suitable (ie faster) base