<HTML>
<body bgcolor="#ffffff";>
-Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual.html" target="_blank">on-line manual</a>
+Are you lost? Consult the <a href="http://helm.cs.unibo.it/searchEngine/manual/index.html" target="_blank">on-line manual</a>
</body>
</HTML>