Cosmetic: Tweaks to docs headers