--- a/HTMLDocGenerator.st	Fri Oct 14 14:46:10 2016 +0200
+++ b/HTMLDocGenerator.st	Tue Oct 18 18:44:38 2016 +0200
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1996 by Claus Gittinger
               All Rights Reserved
@@ -2577,7 +2579,7 @@
         [
             text := self manPageFromStream:manPageStream.
         ] ensure:[
-            manPageStream shutDown.
+            manPageStream abortAndClose.
         ]
     ].