Fix a bad require in example.