1.1 --- a/doc-src/manual.bib	Mon Sep 14 19:30:48 2009 +0200
     1.2 +++ b/doc-src/manual.bib	Tue Sep 15 13:09:13 2009 +0200
     1.3 @@ -484,7 +484,7 @@
     1.4    booktitle     = {Types for Proofs and Programs, TYPES 2008},
     1.5    publisher     = {Springer},
     1.6    series        = {LNCS},
     1.7 -  volume        = {????},
     1.8 +  volume        = {5497},
     1.9    year          = {2009}
    1.10  }
    1.11