diff --git a/Control/Monad/Loc.hs b/Control/Monad/Loc.hs
--- a/Control/Monad/Loc.hs
+++ b/Control/Monad/Loc.hs
@@ -12,7 +12,9 @@
  * This package installs the MonadLoc preprocessor for this purpose.
    To enable it include the following pragma at the top of your haskell source files:
 
- > {-# OPTIONS_GHC -F -pgmF MonadLoc #-}
+@
+     { -\# OPTIONS_GHC -F -pgmF MonadLoc \#- }
+@
 
  * There is also the TH macro 'withLocTH' to manually annotate program points,
    but you should always use the preprocessor if possible.
diff --git a/monadloc.cabal b/monadloc.cabal
--- a/monadloc.cabal
+++ b/monadloc.cabal
@@ -1,30 +1,25 @@
 name: monadloc
-version: 0.2
+version: 0.3
 Cabal-Version:  >= 1.2.3
 build-type: Simple
 license: PublicDomain
 author: Pepe Iborra
 maintainer: pepeiborra@gmail.com
 homepage: http://github.com/pepeiborra/monadloc
-synopsis: A class for monads which can keep a stack trace
+synopsis: A class for monads which can keep a monadic call trace
 category: Control, Monads
 stability: experimental
 description:
   This package defines a class for monads which can keep a monadic call trace.
   .
-  . See http://pepeiborra.posterous.com/monadic-stack-traces-that-make-a-lot-of-sense for more information.
+  * See the blog post <http://pepeiborra.posterous.com/monadic-stack-traces-that-make-a-lot-of-sense> for more information.
   .
   A preprocessor is provided which can insert calls
-  to withLoc before every monadic statement in a module.
-  .
-  To invoke the preprocessor, add the following pragma at the top of a source file:
-  .
-  > {-# OPTIONS_GHC -F -pgmF MonadLoc #-}
-  .
-  together with an import for the @Control.Monad.Loc@ module
+  to "Control.Monad.Loc.withLoc" before every monadic statement in a module.
+  To invoke the preprocessor, add the pragma @OPTIONS_GHC -F -pgmF MonadLoc@  at the top of your Haskell files  together with an import for the "Control.Monad.Loc" module
   .
-  This package provides no implementation of the MonadLoc interface.
-  Currently the only package that does so is "control-monad-exception",
+  This package provides no implementation of the "Control.Monad.Loc.MonadLoc" interface.
+  Currently the only package that does so is @control-monad-exception@,
   but any other package can implement it and provide monadic call traces.
 
 Flag syb-in-base