Asterina, yeah. They're generally harmless- most reports of them eating corals are either from one specific species, or from them being in a new, barren tank, starving, and trying to eat corals to live. If the tank's barren enough to starve them into going after corals, it may not be ready for corals yet anyway.