small fix with table of contents