Add formal version of the toc.