doc update: minor edit