diff --git a/aterm.cabal b/aterm.cabal
--- a/aterm.cabal
+++ b/aterm.cabal
@@ -1,5 +1,5 @@
 name:            aterm
-version:         0.1.0.0
+version:         0.1.0.1
 license:         GPL-2
 license-file:    LICENSE.txt
 author:          Klaus Luettich, Christian Maeder
@@ -12,7 +12,7 @@
 stability:       provisional
 build-type:      Simple
 cabal-version:   >= 1.4
-tested-with:     GHC ==6.10.4, GHC ==6.12.3
+tested-with:     GHC ==6.10.4, GHC ==6.12.3, GHC ==7.0.4
 
 library
 
diff --git a/src/ATerm/Conversion.hs b/src/ATerm/Conversion.hs
--- a/src/ATerm/Conversion.hs
+++ b/src/ATerm/Conversion.hs
@@ -207,7 +207,7 @@
                     (att4, (a', b', c', d'))}}}}
             u -> fromShATermError "(,,,)" u
 
-instance (Ord a, ShATermConvertible a, ShATermConvertible b)
+instance (ShATermConvertible a, ShATermConvertible b)
     => ShATermConvertible (Map.Map a b) where
     toShATermAux att fm = do
       (att1, i) <- toShATerm' att $ Map.toList fm
@@ -228,7 +228,7 @@
                     (att1, IntMap.fromDistinctAscList a') }
             u -> fromShATermError "IntMap.IntMap" u
 
-instance (Ord a, ShATermConvertible a) => ShATermConvertible (Set.Set a) where
+instance ShATermConvertible a => ShATermConvertible (Set.Set a) where
     toShATermAux att set = do
       (att1, i) <-  toShATerm' att $ Set.toList set
       return $ addATerm (ShAAppl "Set" [i] []) att1