diff --git a/TPDB/Plain/Read.hs b/TPDB/Plain/Read.hs
--- a/TPDB/Plain/Read.hs
+++ b/TPDB/Plain/Read.hs
@@ -11,6 +11,10 @@
 import Text.Parsec.Token
 import Text.Parsec.Language
 import Text.Parsec.Char
+
+import TPDB.Pretty (pretty)
+import TPDB.Plain.Write ()
+
 import Control.Monad ( guard, void )
 import Data.List ( nub )
 
@@ -99,12 +103,14 @@
         $ many ( void ( identifier lexer ) <|> parens lexer anylist )
 
 instance Reader ( SRS Identifier ) where
-    reader = do
+    reader = do 
+        many space
         ds <- many $ declaration True
 	return $ make_srs ds
 
 instance Reader ( TRS Identifier Identifier ) where
     reader = do
+        many space
         ds <- many $ declaration False
 	return $ make_trs ds
 
diff --git a/test/read_print_trs_2.hs b/test/read_print_trs_2.hs
new file mode 100644
--- /dev/null
+++ b/test/read_print_trs_2.hs
@@ -0,0 +1,11 @@
+import TPDB.Plain.Write
+import TPDB.Plain.Read
+import TPDB.Pretty
+
+import Control.Monad ( forM, void )
+
+main = void $ do
+    s <- readFile "test/02.trs"
+    case trs s of
+        Right t -> print $ pretty t
+        Left err -> error err
diff --git a/tpdb.cabal b/tpdb.cabal
--- a/tpdb.cabal
+++ b/tpdb.cabal
@@ -1,8 +1,8 @@
 Name: tpdb
-Version: 0.8.2
+Version: 0.8.3
 Author: Johannes Waldmann
 Maintainer: Johannes Waldmann
-Category: Science
+Category: Logic
 License: GPL
 License-file: LICENSE
 Cabal-Version: >= 1.8
@@ -18,6 +18,8 @@
 
 Build-Type: Simple
 
+Homepage: https://github.com/jwaldmann/haskell-tpdb
+
 Source-Repository head
   Type: git
   Location: git://github.com/jwaldmann/haskell-tpdb.git
@@ -54,6 +56,12 @@
   Build-Depends: base==4.*, hxt, wl-pprint-text, parsec, time, containers  >= 0.5, HaXml, hashable
   Type: exitcode-stdio-1.0
   main-is: read_print_trs.hs
+  hs-source-dirs: test .
+
+Test-Suite TRS_02
+  Build-Depends: base==4.*, hxt, wl-pprint-text, parsec, time, containers  >= 0.5, HaXml, hashable
+  Type: exitcode-stdio-1.0
+  main-is: read_print_trs_2.hs
   hs-source-dirs: test .
 
 Test-Suite SRS