Rename example8.3.1_TableofContents_revisited to example8.3_TableofContents_revisited