doc: Minor update.