doc: minor tweaks of --doc output