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