trivial: fix too-short heading underlines