--- a/JavaLookup.st	Thu Sep 27 23:16:42 2018 +0100
+++ b/JavaLookup.st	Wed Nov 14 11:40:39 2018 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  Copyright (c) 2010-2011 Jan Vrany, Jan Kurs & Marcel Hlopko,
                          SWING Research Group, Czech Technical University 
@@ -276,7 +278,7 @@
      following lookup procedure:
 
      1. If C contains a declaration for an instance method m that
-        overrides (§5.4.5) the resolved method, then m is the method
+        overrides (§5.4.5) the resolved method, then m is the method
         to be invoked.
      2. Otherwise, if C has a superclass, a search for a declaration
         of an instance method that overrides the resolved method
@@ -297,7 +299,7 @@
         ].
     ].
     "3. Otherwise, if there is exactly one maximally-specific method
-        (§5.4.3.3) in the superinterfaces of C that matches the resolved
+        (§5.4.3.3) in the superinterfaces of C that matches the resolved
         method's name and descriptor and is not abstract , then it is
         the method to be invoked.
     "