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.6
+Version:        0.9.6.1
 Cabal-Version:  >= 1.2
 Build-Type:     Simple
 License:        BSD3
@@ -13,41 +13,19 @@
 Tested-with:    GHC ==6.8.2
 Description:
     Datatypes and abstractions for approximating exact real numbers
-    and a basic arithmetic over such approximations.  The design is
-    inspired to some degree by Mueller's iRRAM and Lambov's RealLib
-    (both are C++ libraries for exact real arithmetic).
-    .
-    Abstractions are provided via 4 type classes:
-    .
-    * ERRealBase: abstracts floating point numbers
-    .
-    * ERApprox: abstracts neighbourhoods of real numbers
-    .
-    * ERIntApprox: abstracts neighbourhoods of real numbers that are known to be intervals
-    .
-    * ERApproxElementary: abstracts real number approximations that support elementary operations
-    .
-    For ERRealBase we give several implementations.  The default is 
-    an arbitrary precision floating point type that uses Double
-    for lower precisions and an Integer-based simulation for higher
-    precisions.  Rational numbers can be used as one of the alternatives.
-    Augustsson's Data.Number.BigFloat can be easily wrapped as an instance
-    of ERRealBase except that it uses a different method to control precision.
-    .
-    ERIntApprox is implemented via outwards-rounded arbitrary precision interval arithmetic.  
-    Any instance of ERRealBase can be used for the endpoints of the intervals.
+    and a basic arithmetic over such approximations.  
+    The main datatype is interval with arbitrary precision endpoints
+    supported by safely rounding field and elementary operations
+    whose precision can be increased arbitrarily, so that they
+    all converge to the exact operations.
     .
-    ERApproxElementary is implemented generically for any implementation
-    of ERIntApprox.  This way some of the most common elementary operations are provided, 
-    notably: sqrt, exp, log, sin, cos, atan.  These operations converge 
-    to an arbitrary precision and also work well over larger intervals without
-    excessive wrapping.
+    The design of the library is inspired to some degree 
+    by Mueller's iRRAM and Lambov's RealLib
+    (both are C++ libraries for exact real arithmetic).
     .
-    There is also some support for generic Taylor series, interval Newton method
-    and simple numerical integration.
+    For an architectural overview, see module "Data.Number.ER.Real".
     .
-    Simple examples of usage can be found in tests/Demo.hs.
-    
+    Simple examples of usage can be found in module @Demo.hs@ in folder @tests@.
 Extra-source-files:
     ChangeLog tests/Demo.hs
 
diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+0.9.6.1: 7 August 2008
+    * revamped package description to make it much shorter and linked it
+      to the main module
+
 0.9.6: 7 August 2008
     * improved domain box class interface and implementation
     * fixed broken domain box splitting function