Spec: Update FREEZE/THAW section of the spec