Hack to fix table of contents section highlighting