Dead corals forgotten ?

Hi

Are the normal corals of

-> minecraft:dead_tube_coral
-> minecraft:dead_brain_coral
-> minecraft:dead_bubble_coral
-> minecraft:dead_fire_coral and
-> minecraft:dead_horn_coral

are missing? Or not?