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