Still, this was a strange failure that shouldn't have happened. Let's open an issue for it.