Try to get auto-TOC to work