More work on GUI

Change-Id: I824bf8f431117b404ea351f47aeb136db10d902a
diff --git a/gui/html/index.html b/gui/html/index.html
index 21842a8..66f039f 100644
--- a/gui/html/index.html
+++ b/gui/html/index.html
@@ -22,8 +22,8 @@
 
       <nav>
         <ul>
-          <li><a href="#files">File list</a></li>
-          <li><a href="#history">History</a></li>
+          <li><a href="#fileList">File list</a></li>
+          <li><a href="#fileHistory?x=1">History</a></li>
         </ul>
       </nav>
     </header>