Fix error in ExampleExtension