minor tweak to section labeling