[Update] ExampleSpec (0.0.4)