Made some tweaks to the table of contents