diff --git a/doc/figures/README b/doc/figures/README
index 827f54e067109d13f3388e1b03efd05805bc0dc6..a4305b9175ed56ab7925a97afcf75a0242e78cd5 100644
--- a/doc/figures/README
+++ b/doc/figures/README
@@ -1,5 +1,5 @@
 Most of these diagrams (with the ".dia" suffix) were built using the 
-tool "dia".
+tool "dia" (http://www.gnome.org/projects/dia/).
 
 gnuplot is used with "times.gpl" and ".dat" suffix files to build a 
 timing plot.