Slightly simplify getTOCstring().