Fix the tiny example and add it as a test in minimal/