Re-added an accidentally-changed #toc link.