doc: introduction typos