--- a/semantics/prov-sem.html	Thu Dec 13 15:12:31 2012 +0000
+++ b/semantics/prov-sem.html	Thu Dec 13 15:15:29 2012 +0000
@@ -782,7 +782,7 @@
 
       });
 </script>
-    <script src="provbib.js" class="remove"></script>
+    <script src="../model/provbib.js" class="remove"></script>
 
     <script class="remove">