diff -r c1eeeadbe80a -r e49024d43c10 doc-src/manual.bib
--- a/doc-src/manual.bib	Thu Aug 19 20:05:13 1999 +0200
+++ b/doc-src/manual.bib	Thu Aug 19 21:31:36 1999 +0200
@@ -619,7 +619,7 @@
   institution	= CUCL}
 
 @manual{isabelle-sys,
-  author	= {Markus Wenzel},
+  author	= {Markus Wenzel and Stefan Berghofer},
   title		= {The {Isabelle} System Manual},
   institution	= CUCL}