Correct the Spec