1.1 --- a/doc-src/manual.bib	Tue Feb 09 16:05:49 2010 +0100
     1.2 +++ b/doc-src/manual.bib	Tue Feb 09 16:07:51 2010 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  %publishers
     1.5  @string{AP="Academic Press"}
     1.6  @string{CUP="Cambridge University Press"}
     1.7 -@string{IEEE="{\sc ieee} Computer Society Press"}
     1.8 +@string{IEEE="IEEE Computer Society Press"}
     1.9  @string{LNCS="Lecture Notes in Computer Science"}
    1.10  @string{MIT="MIT Press"}
    1.11  @string{NH="North-Holland"}