Den-KC halftime FG

[TriggerMN]

I'm assuming this situation was handled correctly, but not being a football official, I want to ask.

Denver committed an offside penalty on the last play of the first half. Kansas City got an untimed down and attempted a 63-yard FG, no good. The players run off the field, and the band takes the field. At this point, the officials realize that they hadn't marked off the penalty, so they pull everyone back out onto the field, mark off the 5-yard penalty against Denver, and allow KC to now attempt a 58-yard FG, also no good.

Does football have a "correctable error" situation like basketball does in this case?