NEWS

--- a/NEWS	Wed Sep 21 11:50:38 2005 +0200
+++ b/NEWS	Wed Sep 21 11:50:52 2005 +0200
@@ -188,7 +188,7 @@
 
 * Inner syntax includes (*(*nested*) comments*).
 
-* Pretty pinter now supports unbreakable blocks, specified in mixfix
+* Pretty printer now supports unbreakable blocks, specified in mixfix
 annotations as "(00...)".
 
 * Clear separation of logical types and nonterminals, where the latter