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