Updated the TOC, which still does not work in
print mode.