diff -r d8de47527309 -r 629d63c74ddc doc-src/System/system.tex
--- a/doc-src/System/system.tex	Mon May 12 18:34:34 1997 +0200
+++ b/doc-src/System/system.tex	Mon May 12 18:34:49 1997 +0200
@@ -15,8 +15,9 @@
         Computer Laboratory \\ University of Cambridge \\
         \texttt{lcp@cl.cam.ac.uk}\\[3ex] 
         With Contributions by Tobias Nipkow and Markus Wenzel%
-\thanks{  Chapter~\protect\ref{html} was written by Carsten Clasohm.
-  Chapter~\protect\ref{browse} was written by Stefan Berghofer.}}
+        \thanks{Chapter~\protect\ref{html} was written by Carsten
+          Clasohm.  Chapter~\protect\ref{browse} was written by Stefan
+          Berghofer. Some other parts are by Markus Wenzel.}}
 
 \makeindex