Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision fa29dfc6ad4887fe0e793f577860d74ea22f4b09)
+++ doc/bibliography/pl.bib	(revision 206f4cf4b2f4e068782b29daa7506511d24dee35)
@@ -9102,5 +9102,5 @@
     pages	= {89-100},
     location	= {San Diego, California, USA},
-    series	= {PLDI'07}
+    series	= {PLDI'07},
     year	= {2007},
 }