Fix a typo in documentation examples