Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 8f079f09e0d31fd3c180251a48a7743d5e01cdc4)
+++ doc/bibliography/pl.bib	(revision e67991fd01d5341ea7ee45736431dbe64851911e)
@@ -954,5 +954,5 @@
     key		= {Cforall Benchmarks},
     author	= {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}},
-    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmarks}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmarks}},
+    howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}},
 }