Correction: An earlier version of this story misrepresented the plaintiffs in the case.