Docs: Fix "WARNING: Title underline too short"