And add a test that would have caught this specific case.
Would be nice if we had some way of verifying these more generally...