minor tweaking of toc (indentation of appendix entries)