diff --git a/TPDB/Plain/Read.hs b/TPDB/Plain/Read.hs
--- a/TPDB/Plain/Read.hs
+++ b/TPDB/Plain/Read.hs
@@ -31,8 +31,8 @@
 -- | warning: by definition, {}[] may appear in identifiers
 lexer = makeTokenParser
     $ emptyDef
-       { identStart  = alphaNum <|> oneOf "_:!#$%&*+./<=>?@\\^|-~{}[]"
-       , identLetter = alphaNum <|> oneOf "_:!#$%&*+./<=>?@\\^|-~{}[]"
+       { identStart  = alphaNum <|> oneOf "_:!#$%&*+./<=>?@\\^|-~{}[]'"
+       , identLetter = alphaNum <|> oneOf "_:!#$%&*+./<=>?@\\^|-~{}[]'"
        , commentLine = "" , commentStart = "" , commentEnd = ""
        , reservedNames = [ "VAR", "THEORY", "STRATEGY", "RULES", "->", "->=" ]
        }
@@ -81,7 +81,13 @@
        <|> do reserved lexer "STRATEGY" 
               error "TPDB.Plain.Read: parser for THEORY decl. missing"
        <|> do reserved lexer "RULES" 
-              us <- ( if sep then commaSep lexer else many ) reader
+              us <- if sep then do 
+                        many $ do 
+                            u <- reader ; optional $ comma lexer
+                            return u
+                        -- yes, TPDB contains some trailing commas, e.g., z008
+                        -- ( RULES a b -> b a , )
+                    else many reader
               return $ Rules_Declaration us
        <|> do anylist ; return Unknown_Declaration
 
diff --git a/tpdb.cabal b/tpdb.cabal
--- a/tpdb.cabal
+++ b/tpdb.cabal
@@ -1,5 +1,5 @@
 Name: tpdb
-Version: 0.0
+Version: 0.1
 Author: Johannes Waldmann
 Maintainer: Johannes Waldmann
 Category: Science
@@ -21,6 +21,9 @@
   Type: git
   Location: git://dfa.imn.htwk-leipzig.de/srv/git/tpdb/
 
+-- Extra-Source-Files:
+--   test/3.15.xml, test/33.trs ,  test/z001.srs
+
 Library
   Build-Depends: base==4.*, hxt, pretty, parsec
 
@@ -28,6 +31,7 @@
     TPDB.Data, 
     TPDB.Plain.Write,     TPDB.Plain.Read,
     TPDB.XTC,  TPDB.XTC.Read
+
 
 Test-Suite XML
   Type: exitcode-stdio-1.0