Tweaks for format-option documentation