diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+1.0 => 1.0.0.1
+==============
+* Fixed the record declaration in Main.hs.
+
+* Added an example file.
+
 0.9 => 1.0
 =============
 This package version is now compatible with the translation package CarneadesIntoDung. 
diff --git a/Dung.cabal b/Dung.cabal
--- a/Dung.cabal
+++ b/Dung.cabal
@@ -1,6 +1,6 @@
 name:          Dung
 category:      Argumentation, Embedded, AI
-version:       1.0
+version:       1.0.0.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -21,6 +21,7 @@
 
 Extra-Source-Files:
                            CHANGELOG
+                           exampleaf.txt
 
 Library
   build-depends:
diff --git a/exampleaf.txt b/exampleaf.txt
new file mode 100644
--- /dev/null
+++ b/exampleaf.txt
@@ -0,0 +1,15 @@
+arg(a).
+arg(b).
+arg(c).
+arg(d).
+arg(e).
+arg(f).
+arg(g).
+att(a,b).
+att(c,b).
+att(c,d).
+att(d,c).
+att(d,e).
+att(e,g).
+att(f,e).
+att(g,f).
diff --git a/src/Main.hs b/src/Main.hs
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -55,7 +55,7 @@
     &= program _PROGRAM_NAME
  
 _PROGRAM_NAME = "Dungell"
-_PROGRAM_VERSION = "1.0"
+_PROGRAM_VERSION = "1.0.0.1"
 _PROGRAM_INFO = _PROGRAM_NAME ++ " version " ++ _PROGRAM_VERSION
 _PROGRAM_ABOUT = "An implementation of Dung's AFs"
 _COPYRIGHT = "(C) Bas van Gijzel 2014"
@@ -72,16 +72,16 @@
 optionHandler opts@MyOptions{..}  = do 
     when (null fileName) $ putStrLn "--fileName is blank!" >> exitWith (ExitFailure 1)
     input <- readFile fileName
-    let opts = opts {cegartix = not laxCegartix}
+    let opts' = opts {cegartix = not laxCegartix}
     af <- case parseAF input of 
            Left err -> putStrLn "Parsing error: " >> print err >> exitWith (ExitFailure 1)
            Right af -> return af
-    let opts' = if all 
+    let opts'' = if all 
          then 
-           opts {grounded = True, preferred = True, stable = True, semiStable = True} 
+           opts' {grounded = True, preferred = True, stable = True, semiStable = True} 
          else 
-           opts
-    exec opts' af
+           opts'
+    exec opts'' af
 
 -- |Execute supplied options
 exec :: (Show arg, Eq arg, Ord arg) => MyOptions -> DungAF arg -> IO ()