--- a/web/wdoc/userprefs_en.rst	Thu Mar 05 11:40:56 2015 +0100
+++ b/web/wdoc/userprefs_en.rst	Thu Dec 18 10:55:17 2014 +0100
@@ -7,4 +7,4 @@
 preferences" link in this menu. This will show you a form to configure which
 boxes are displayed, in which order, etc...
 
-.. image:: doc/images/userprefs
+.. image:: images/userprefs