(Otherwise the analysis was wrong, as covered by the new test case.)