--- misc/tableheader.js	Wed Aug 31 10:20:19 2011
+++ misc/tableheader.js	Wed Aug 31 11:20:00 2011
@@ -69,7 +69,7 @@
     // Check the previous anchor to see if we need to scroll to make room for the header.
     // Get the height of the header table and scroll up that amount.
     if (prevAnchor != location.hash) {
-      if (location.hash != '') {
+      if (location.hash != '' && location.hash.indexOf('.') != 1) {
         var offset = $('td' + location.hash).offset();
         if (offset) {
           var top = offset.top;