Say that `\tableofcontents` needs typesetting twice