2 ms·

Yes, that's what they did. I assume that they didn't want to burden the family with yet more formalities.