Tighten examples/ and error().