diff --git a/Main.hs b/Main.hs
--- a/Main.hs
+++ b/Main.hs
@@ -82,7 +82,7 @@
               $$ text "This options implies \"-n\".")
              (NullaryAction (\conf -> conf {outputMode = HaskellCode, execMode = ShapifyPlus})),
       Option "-P"  (Just "--pseudo-code") empty
-             (text "(Obsolete) Return a pseudo code only after syntatic bidirectionalizatoin."
+             (text "(Obsolete) Return a pseudo code only after syntactic bidirectionalizatoin."
               $$ text "Note that \"wrapping\" code for semantic bidirectionalization is not produced.")
              (NullaryAction (\conf -> conf {outputMode = PseudoCode })),
       Option "-F"  (Just "--forward-only") empty
@@ -98,7 +98,7 @@
              (text"No Bidirectionalization (transformation stops after pre-processing)")
              (NullaryAction (\conf -> conf {b18nMode = NoB18n})),
       Option "-syn" (Just "--syntactic") empty 
-             (text"Syntatic Bidirectionalization.")
+             (text"Syntactic Bidirectionalization.")
              (NullaryAction (\conf -> conf {b18nMode = SyntacticB18n, outputMode = OM_NotSpecified  })),
       Option "-sem" (Just "--semantic") empty 
              (text"Semantic Bidirectionalization.")
@@ -192,7 +192,7 @@
          wrap 80 ( "Given a \"get\" function defined in a file specified by FILENAME, "
                   ++ "the program returns \"put\" function by combining "
                   ++ "semantic bidirectionalization (Janis Voiglander: POPL'09) "
-                  ++ "and syntatic bidirectionalization (Kazutaka Matsuda et al.: ICFP'07). A typical usage is \""++ progName ++ " FILENAME\", which correspondes to the paper.\n"
+                  ++ "and syntactic bidirectionalization (Kazutaka Matsuda et al.: ICFP'07). A typical usage is \""++ progName ++ " FILENAME\", which correspondes to the paper.\n"
                   ) $+$
     text "OPTIONS" $$
     text "-------" $$
diff --git a/README b/README
--- a/README
+++ b/README
@@ -97,7 +97,8 @@
 --------------------------------
 
 If you have [cabal-install] (part of the Haskell Platform) available on your system, you can install b18n-combined using the command
-	cabal install bidirectionalization-combined
+
+    cabal install bidirectionalization-combined
 
 [cabal-install]: http://haskell.org/cabal/download.html
 
diff --git a/bidirectionalization-combined.cabal b/bidirectionalization-combined.cabal
--- a/bidirectionalization-combined.cabal
+++ b/bidirectionalization-combined.cabal
@@ -1,15 +1,15 @@
 Name:                bidirectionalization-combined
-Version:             0.1
-Synopsis:            Prototype Implementation of Combining Syntatic and Semantic Bidirectionalization (ICFP'10)
+Version:             0.1.0.1
+Synopsis:            Prototype Implementation of Combining Syntactic and Semantic Bidirectionalization (ICFP'10)
 Description:         This is a prototype implementation of the idea presented 
-                     in Combining Syntatic and Semantic Bidirectionalization 
+                     in Combining Syntactic and Semantic Bidirectionalization 
                      by Janis Voigtlaender, Zhenjiang Hu, Kazutaka Matsuda 
                      and Meng Wang.
 		     .
 		     This package builds two executables to experiment with the system,
 		     a command line program "b18-combined" and a CGI based web interface
-		     "b18n-combined-cgi". The latter is also available on
-		     http://www.kb.ecei.tohoku.ac.jp/~kztk/b18n-combined/
+		     "b18n-combined-cgi". The latter is also available online at
+		     <http://www.kb.ecei.tohoku.ac.jp/~kztk/b18n-combined/>
 License:             PublicDomain
 Author:              Kazutaka Matsuda, Joachim Breitner
 Maintainer:          kztk@kb.ecei.tohoku.ac.jp