Switching TOC generation to match other DocBook stylesheets.