We might release a new version at some point after all. In fact, use the same pattern the other CHECK lines in this test use, for consistency.