Fix a tiny typo in code sample in user guide