fix bad typo in doc examples