src/Pure/System/utf8.scala

--- a/src/Pure/System/utf8.scala	Sat Nov 16 12:29:10 2013 +0100
+++ b/src/Pure/System/utf8.scala	Sat Nov 16 12:41:16 2013 +0100
@@ -24,7 +24,7 @@
   /* permissive UTF-8 decoding */
 
   // see also http://en.wikipedia.org/wiki/UTF-8#Description
-  // overlong encodings enable byte-stuffing
+  // overlong encodings enable byte-stuffing of low-ASCII
 
   def decode_permissive(text: CharSequence): String =
   {