Correction: Florida Execution story