Small change to page-toc