Fix ExampleNotFound case