Tweak to try to get github to make toc.