Without this patch, I would see a spurious failure in this test: