diff --git a/Lava2000/Ref.hs b/Lava2000/Ref.hs
--- a/Lava2000/Ref.hs
+++ b/Lava2000/Ref.hs
@@ -1,20 +1,20 @@
 module Lava2000.Ref
-  ( Ref       -- * -> * ; Eq, Show
-  , ref       -- :: a     -> Ref a
-  , deref     -- :: Ref a -> a
-  , memoRef   -- :: (Ref a -> b) -> (Ref a -> b)
+  ( Ref
+  , ref
+  , deref
+  , memoRef
 
-  , TableIO   -- :: * -> * -> * ; Eq
-  , tableIO   -- :: IO (TableIO a b)
-  , extendIO  -- :: TableIO a b -> Ref a -> b -> IO ()
-  , findIO    -- :: TableIO a b -> Ref a -> IO (Maybe b)
-  , memoRefIO -- :: (Ref a -> IO b) -> (Ref a -> IO b)
+  , TableIO
+  , tableIO
+  , extendIO
+  , findIO
+  , memoRefIO
 
-  , TableST   -- :: * -> * -> * -> * ; Eq
-  , tableST   -- :: ST (TableST s a b)
-  , extendST  -- :: TableST s a b -> Ref a -> b -> ST s ()
-  , findST    -- :: TableST s a b -> Ref a -> ST s (Maybe b)
-  , memoRefST -- :: (Ref a -> ST s b) -> (Ref a -> ST s b)
+  , TableST
+  , tableST
+  , extendST
+  , findST
+  , memoRefST
   )
  where
 
diff --git a/chalmers-lava2000.cabal b/chalmers-lava2000.cabal
--- a/chalmers-lava2000.cabal
+++ b/chalmers-lava2000.cabal
@@ -1,9 +1,9 @@
 name:                chalmers-lava2000
-version:             1.0.1
+version:             1.0.2
 homepage:            http://www.cs.chalmers.se/~koen/Lava/
 synopsis:            Hardware description library
 description:         Hardware description library
-category:            Hardware
+category:            Language, Hardware
 license:             BSD3
 license-file:        LICENSE
 copyright:           (c) 2008. Koen Claessen <koen@chalmers.se>
@@ -11,7 +11,6 @@
 maintainer:          Emil Axelsson <emax@chalmers.se>
 cabal-version:       >= 1.2
 build-type:          Simple
-tested-with:         GHC ==6.8.3
 data-files:          README, INSTALL, Doc/tutorial.ps
 extra-source-files:  Vhdl/lava.vhd, Scripts/satzoo.wrapper, Scripts/smv.wrapper