--- a/Paper/document/root.bib	Wed Mar 31 05:44:24 2010 +0200
+++ b/Paper/document/root.bib	Wed Mar 31 12:30:17 2010 +0200
@@ -7,7 +7,7 @@
 }
 
 @Unpublished{chargueraud09,
-  author       = "Arthur Chargu{\'e}raud",
+  author       = "A.~Chargu{\'e}raud",
   title        = "{T}he {L}ocally {N}ameless {R}epresentation",
   year         = "2009",
   note         = "To appear in J.~of Automated Reasoning. 
@@ -50,7 +50,7 @@
 }
 
 @Unpublished{Pitts04,
-  author = 	 {Andrew Pitts},
+  author = 	 {A.~Pitts},
   title = 	 {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos},
   note = 	 {Notes for an invited talk given at CTCS},
   year = 	 {2004}