minor fix to a table of contents entry