--- a/Pearl-jv/document/root.bib	Mon Mar 14 16:35:59 2011 +0100
+++ b/Pearl-jv/document/root.bib	Tue Mar 15 00:40:39 2011 +0100
@@ -33,7 +33,7 @@
 @InProceedings{AydemirBohannonWeirich07,
   author = 	 {B.~Aydemir and A.~Bohannon and S.~Weihrich},
   title = 	 {{N}ominal {R}easoning {T}echniques in {C}oq ({E}xtended {A}bstract)},
-  booktitle = 	 {Proc.~of the 1st International Workshop on Logical Frameworks and Meta-Languages: 
+  booktitle = 	 {Proc.~of the 2st International Workshop on Logical Frameworks and Meta-Languages: 
                   Theory and Practice (LFMTP)},
   pages = 	 {69--77},
   year = 	 {2007},