Fix typo in the doc examples