diff --git a/Project.toml b/Project.toml
index b67b6dfc..a1fe9a74 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "PlutoUI"
 uuid = "7f904dfe-b85e-4ff6-b463-dae2292396a8"
 authors = ["Fons van der Plas <fons@plutojl.org>"]
-version = "0.7.42"
+version = "0.7.43"
 
 [deps]
 AbstractPlutoDingetjes = "6e696c72-6542-2067-7265-42206c756150"
diff --git a/src/TableOfContents.jl b/src/TableOfContents.jl
index e4d00568..d2369a26 100644
--- a/src/TableOfContents.jl
+++ b/src/TableOfContents.jl
@@ -118,6 +118,7 @@ const intersection_callback = (ixs) => {
 			currently_highlighted_set.add(div)
 			
 			/// scroll into view
+			/*
 			const toc_height = tocNode.offsetHeight
 			const div_pos = div.offsetTop
 			const div_height = div.offsetHeight
@@ -134,6 +135,7 @@ const intersection_callback = (ixs) => {
 				} else if(current_scroll > scroll_to_top){
 					tocNode.scrollTop = scroll_to_top
 				}
+			*/
 		})
 	}
 }