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