Fix test failure in moderately wrongheaded way