added a TOC-like list of labels