In F1 they have local yellows. The green was waving to signify that it's safe after that section. Apparently the double yellow was getting waved back on the track a bit.
I'd imagine they'll revisit how they handle it from now on. It always takes a death, or severe injury, for changes to be...