--- a/Scanner.st	Mon Jul 02 08:46:03 2018 +0200
+++ b/Scanner.st	Tue Nov 13 17:01:52 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1989 by Claus Gittinger
 	      All Rights Reserved
@@ -143,7 +145,7 @@
 extendedBinarySelectorCharacters
     "return a collection of characters which are optionally allowed in binary selectors"
 
-    "/ ^ '±×·÷«»'.
+    "/ ^ '±×·÷«»'.
     ^ String
 	with:(Character value:16rB1)  "/ plus-minus
 	with:(Character value:16rD7)  "/ times
@@ -1775,13 +1777,13 @@
 !
 
 warnParagraphAt:position
-    "warn about §-character in an identifier"
+    "warn about §-character in an identifier"
 
     ignoreWarnings ifFalse:[
 	"/ didWarnAboutParagraphInIdentifier ifFalse:[
 	    parserFlags warnParagraphInIdentifier ifTrue:[
 		self
-		    warning:'§-characters in identifiers/symbols are nonportable'
+		    warning:'§-characters in identifiers/symbols are nonportable'
 		    doNotShowAgainAction:[ ParserFlags warnParagraphInIdentifier:false ]
 		    position:position to:position.
 		"
@@ -2810,7 +2812,7 @@
 
     (((nextChar == $_) and:[allowUnderscoreInIdentifier])
     or:[ (allowDollarInIdentifier and:[nextChar == $$ ])
-    or:[ (nextChar == $§ and:[ parserFlags allowParagraphInIdentifier])
+    or:[ (nextChar == $§ and:[ parserFlags allowParagraphInIdentifier])
     or:[ allowNationalCharactersInIdentifier and:[ nextChar notNil and:[nextChar isNationalLetter]]]]]) ifTrue:[
 	pos := source position + 1.
 	nextChar == $_ ifTrue:[
@@ -2819,7 +2821,7 @@
 	    nextChar == $$ ifTrue:[
 		self warnDollarAt:pos.
 	    ] ifFalse:[
-		nextChar == $§ ifTrue:[
+		nextChar == $§ ifTrue:[
 		    self warnParagraphAt:pos.
 		] ifFalse:[
 		    "/ self warnNationalCharacterAt:pos.
@@ -2839,7 +2841,7 @@
 		].
 		ok := ((nextChar == $_) and:[allowUnderscoreInIdentifier])
 		      or:[((nextChar == $$ ) and:[allowDollarInIdentifier])
-		      or:[((nextChar == $§ ) and:[parserFlags allowParagraphInIdentifier])
+		      or:[((nextChar == $§ ) and:[parserFlags allowParagraphInIdentifier])
 		      or:[(nextChar notNil and:[nextChar isNationalLetter]) and:[allowNationalCharactersInIdentifier]]]].
 	    ]
 	].
@@ -3541,7 +3543,7 @@
 		].
 		"/ a nil token means: continue reading
 	    ] ifFalse:[
-		(ch == $§ and:[parserFlags allowParagraphInIdentifier]) ifTrue:[
+		(ch == $§ and:[parserFlags allowParagraphInIdentifier]) ifTrue:[
 		    tok := self nextIdentifier.
 		    tok notNil ifTrue:[
 			^ tok