diff -r 8089e82833b6 -r aae0163c01ea CONTRIBUTORS
--- a/CONTRIBUTORS	Wed Oct 02 10:13:54 2013 +0300
+++ b/CONTRIBUTORS	Wed Oct 02 10:15:53 2013 +0300
@@ -22,10 +22,10 @@
   "primrec_new" and "primcorec" commands and a compatibility layer.
 
 * Spring and Summer 2013: Ondrej Kuncar, TUM
-  Various improvments of Lifting and Transfer packages
+  Various improvements of Lifting and Transfer packages
 
 * Spring 2013: Brian Huffman, Galois Inc.
-  Improvments of the Transfer package
+  Improvements of the Transfer package
   
 * Summer 2013: Daniel Kühlwein, ICIS, Radboud University Nijmegen
   Jasmin Blanchette, TUM