doc: minor fixup.