Fix bug in example.