Fix-up the presentation of the auto-extracted doc