doc introduction typo