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
+Version:        0.9.7.1
 Cabal-Version:  >= 1.2
 Build-Type:     Simple
 License:        BSD3
@@ -27,7 +27,7 @@
     .
     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/ISin3.hs
+    ChangeLog tests/Demo.hs tests/Pi.hs tests/Matrix.hs
 
 Flag containers-in-base
     Default: False
diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,6 +1,11 @@
+0.9.7.1: 30 September 2008
+    * switched the Demo program to a more suitable (ie faster) base
+
 0.9.7: 30 September 2008
     * made it easier to switch among various bases (double, mpfr, pure haskell floats...)
     * added MPFR backend via hmpfr (cabal install -f "use-hmpfr")
+    * added two new samples (computing pi, inverting Hilbert matrix) that
+      demonstrate the speedup when using MPFR
 
 0.9.6.1: 7 August 2008
     * revamped package description to make it much shorter and linked it
diff --git a/tests/Demo.hs b/tests/Demo.hs
--- a/tests/Demo.hs
+++ b/tests/Demo.hs
@@ -21,8 +21,8 @@
 type B = AERN.BMAP -- use combination of double and pure Haskell floats
 --type B = AERN.BMPFR -- use MPFR floats
 #else
-type B = AERN.BAP -- use pure Haskell floats
---type B = AERN.BMAP -- use combination of double and pure Haskell floats
+--type B = AERN.BAP -- use pure Haskell floats
+type B = AERN.BMAP -- use combination of double and pure Haskell floats
 #endif
 type RA = AERN.RA B
 type IRA = AERN.IRA B
diff --git a/tests/ISin3.hs b/tests/ISin3.hs
deleted file mode 100644
--- a/tests/ISin3.hs
+++ /dev/null
@@ -1,47 +0,0 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE UndecidableInstances #-}
-{-# LANGUAGE TypeOperators #-}
-{-# LANGUAGE DeriveDataTypeable #-}
-module Main
-
-where
-
-import qualified Data.Number.ER.Real as AERN
-import qualified Data.Number.ER.RnToRm as AERNFunc
-import Data.Number.ER.BasicTypes
-import Data.Number.ER.Misc
-import Data.Number.ER.RnToRm.TestingDefs
-
-import Data.Maybe
-import qualified Data.List as List
-import qualified Data.Map as Map
-
-#ifdef USE_MPFR
-type B = AERN.BMPFR -- use MPFR floats
-#else
-type B = AERN.BAP -- use pure Haskell floats
---type B = AERN.BMAP -- use combination of double and pure Haskell floats
-#endif
-type RA = AERN.RA B
-type IRA = AERN.IRA B
-
-main =
-    do
-    AERN.initialiseBaseArithmetic (0 :: RA)
-    putStrLn $ "integ(sin(sin(sin(x)))dx = " ++ show result
-    putStrLn $ " precision = " ++ show (AERN.getPrecision result)
-    where
-    result = 
-        head $ 
-            AERNFunc.eval (AERNFunc.unary 1) $ 
-                AERNFunc.integrateUnary 0 
-                    (sin3 120 0 42 160) 
-                    0 (0 AERN.\/ 1) [0]
-    sin3 ix depth deg gran = 
-        AERN.sin ix $ 
-            AERN.sin ix $ 
-                AERN.sin ix $ 
-                    AERNFunc.bisectUnbisectDepth depth $ 
-                        AERN.setMinGranularity gran $ 
-                            AERNFunc.setMaxDegree deg fapwUPX0
-
diff --git a/tests/Matrix.hs b/tests/Matrix.hs
--- a/tests/Matrix.hs
+++ b/tests/Matrix.hs
@@ -57,6 +57,9 @@
 main =
     do
     AERN.initialiseBaseArithmetic (0 :: RA)
+    putStrLn $ 
+          "Inverting the " ++ show n ++ "x" ++ show n ++ " Hilbert matrix " 
+          ++ "with target binary precision " ++ show targetPrec ++ "..." 
 --    putStrLn $ 
 --        "sorted matrix elements = \n" ++ (unlines $ map show elemsSortedByPrec)
     putStrLn $ 
diff --git a/tests/Pi.hs b/tests/Pi.hs
--- a/tests/Pi.hs
+++ b/tests/Pi.hs
@@ -23,7 +23,8 @@
 type IRA = AERN.IRA B
 
 
-decimalPrec = 1000
+decimalPrec = 100
+--decimalPrec = 1000
 binaryPrec =
     fromInteger $ toInteger $
     snd $ AERN.integerBounds $