diff --git a/CSPM-CoreLanguage.cabal b/CSPM-CoreLanguage.cabal
--- a/CSPM-CoreLanguage.cabal
+++ b/CSPM-CoreLanguage.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-CoreLanguage
-Version:             0.3.0.0
+Version:             0.3.0.1
 Synopsis:            Definition of a FDR-compatible CSP core-language. 
 Description:
   This package contains an interface for a CSP core-language.
@@ -13,10 +13,10 @@
 Category:            Language,Formal Methods,Concurrency
 License:             BSD3
 License-File:        LICENSE
-Author:              2010 - 2011 Marc Fontaine
+Author:              2010 - 2012 Marc Fontaine
 Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
 Stability:           experimental
-Tested-With:         GHC == 7.0.3
+Tested-With:         GHC == 7.4.1
 Cabal-Version:       >= 1.10
 Build-Type:          Simple
 
diff --git a/src/CSPM/CoreLanguage/Event.hs b/src/CSPM/CoreLanguage/Event.hs
--- a/src/CSPM/CoreLanguage/Event.hs
+++ b/src/CSPM/CoreLanguage/Event.hs
@@ -8,13 +8,13 @@
 -- Stability   :  experimental
 -- Portability :  GHC-only
 --
--- This modules defines the event-related part of an interface between 
+-- This module defines the event-related part of an interface between 
 -- the CSPM-CoreLanguage and the underlying implementation.
--- The underlying implementation has to instantiate the type-families 'Event',
+-- The underlying implementation has to instantiate the type families 'Event',
 -- 'EventSet', 'RenamingRelation'
 -- and the class 'BE' ('BE'== base event).
 -- 
--- For full CSPM-support (channels with multiple fields, event closure sets etc.)
+-- For full CSPM support (channels with multiple fields, event closure sets etc.)
 -- CSPM.CoreLanguage.Field is also needed.
 -----------------------------------------------------------------------------
 {-# LANGUAGE TypeFamilies #-}
@@ -31,7 +31,7 @@
 -- | Sigma is the set of all events that appear in a system.
 type Sigma i = EventSet i
 
--- | The first argument of all function in 'BE' is a phantom-type-argument, i.e.
+-- | The first argument of all functions in 'BE' is a phantom-type-argument, i.e.
 -- applications pass _|_ and implementations must not use this value.
 class BE i where
   eventEq :: i -> Event i -> Event i -> Bool
diff --git a/src/CSPM/CoreLanguage/Field.hs b/src/CSPM/CoreLanguage/Field.hs
--- a/src/CSPM/CoreLanguage/Field.hs
+++ b/src/CSPM/CoreLanguage/Field.hs
@@ -8,7 +8,7 @@
 -- Stability   :  experimental
 -- Portability :  GHC-only
 --
--- This modules defines the class 'BF' for versions of CSP
+-- This module defines the class 'BF' for versions of CSP
 -- that also support multi-field-events and event-closure sets.
 -----------------------------------------------------------------------------
 {-# LANGUAGE TypeFamilies #-}
diff --git a/src/CSPM/CoreLanguage/Process.hs b/src/CSPM/CoreLanguage/Process.hs
--- a/src/CSPM/CoreLanguage/Process.hs
+++ b/src/CSPM/CoreLanguage/Process.hs
@@ -8,9 +8,8 @@
 -- Stability   :  experimental
 -- Portability :  GHC-only
 --
--- This modules defines a FDR-compatible CSP core language.
--- The core language deals with CSP related constructs like processes and events,
--- but abstracts, e.g. from the underlying functional programming language.
+-- This modules defines an FDR-compatible CSP core language.
+-- The core language deals with CSP-related constructs like processes and events.
 --
 -- The implementation of the underlying language
 -- must provide instances for the type families 'Prefix', 'ExtProcess'
@@ -41,7 +40,7 @@
   A data type for CSPM processes.
   For efficiency, replicated alphabetized parallel has an explicit constructor.
   Other replicated operations get translated on the fly.
-  For constructing processes one should rather uses the wrappers from 
+  For constructing processes one should rather use the wrappers from 
   CSPM.CoreLanguage.ProcessWrappers.
 -}
 data Process i
diff --git a/src/CSPM/CoreLanguage/ProcessWrapper.hs b/src/CSPM/CoreLanguage/ProcessWrapper.hs
--- a/src/CSPM/CoreLanguage/ProcessWrapper.hs
+++ b/src/CSPM/CoreLanguage/ProcessWrapper.hs
@@ -11,7 +11,7 @@
 -- Wrappers for the constructors of data type 'Process' and some
 -- rewriting rules for replicated operations.
 --
--- This can also be used an EDSL for CSP.
+-- This can also be used as EDSL for CSP.
 --
 -----------------------------------------------------------------------------