[fixup] Restore a mangled doc-string