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.1.0.1
+Version:             0.1.0.2
 Synopsis:            Definition of a FDR-compatible CSP core-language. 
 Description:
   This package contains an interface for a CSP core-language.
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
@@ -24,7 +24,7 @@
 -- | A prefix expression.
 type family Prefix i
 
--- | A proccess that has not yet been switched on.
+-- | A process that has not yet been switched on.
 type family ExtProcess i
 
 class (BE i) => BL i where
@@ -35,7 +35,7 @@
 
 {-|
   A data type for CSPM processes.
-  For efficency, replicated alphabetized parallel has an explicit constructor.
+  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 
   CSPM.CoreLanguage.ProcessWrappers.