1.1 --- a/doc-src/manual.bib	Sun Oct 31 20:11:23 1999 +0100
     1.2 +++ b/doc-src/manual.bib	Mon Nov 01 12:48:54 1999 +0100
     1.3 @@ -636,7 +636,8 @@
     1.4  %replaces paulson-final
     1.5  @Article{paulson-mscs,
     1.6    author	= {Lawrence C. Paulson},
     1.7 -  title		= {Final Coalgebras as Greatest Fixed Points in ZF Set Theory},
     1.8 +  title = 	 {Final Coalgebras as Greatest Fixed Points 
     1.9 +                  in {ZF} Set Theory},
    1.10    journal	= {Mathematical Structures in Computer Science},
    1.11    year		= 1999,
    1.12    volume	= 9,