diff --git a/User Manual/output/html/include.js b/User Manual/output/html/include.js
index 40c4f6bb095b70c2adc9d1d2d71e6ad964d91324..35af72d0a74ebbe7c1d7afa81d12dfd8b261820b 100644
--- a/User Manual/output/html/include.js	
+++ b/User Manual/output/html/include.js	
@@ -1,15 +1,15 @@
 $(function(){
 	var hash = window.location.hash;
 	if (hash){
-      $(hash).show();
-      $(hash).parents().show();
+      $(hash.replace(".", "\\.")).show();
+      $(hash.replace(".", "\\.")).parents().show();
    	} else
    		$("#user-manual").show();
 
     $('a').click(function(){
     	$("body > div:not(#TOC)").hide();
-    	$($(this).attr("href")).show();
-	    $($(this).attr("href")).parents().show();
+    	$($(this).attr("href").replace(".", "\\.")).show();
+	    $($(this).attr("href").replace(".", "\\.")).parents().show();
     });
 
 	$("#TOC").resizable({