magit-highlight-section: fix doc-string