diff -r 7d1c5150af70 -r d76c9c5c0656 src/Pure/Admin/isabelle_devel.scala
--- a/src/Pure/Admin/isabelle_devel.scala	Tue May 09 21:43:46 2017 +0200
+++ b/src/Pure/Admin/isabelle_devel.scala	Wed May 10 11:13:18 2017 +0200
@@ -44,7 +44,8 @@
               List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) :::
               HTML.text(" information (e.g. for ") :::
               List(HTML.link("http://sqlitebrowser.org",
-                List(HTML.code(HTML.text("sqlitebrowser"))))))))))
+                List(HTML.code(HTML.text("sqlitebrowser"))))) :::
+              HTML.text(")"))))))
   }