For a player losing a helmet it should have taken 10-15 seconds to get that player off the field and resume play, but somehow it turned into a full timeout.
I don’t know that it was intended to be a full timeout.
As I understand the rule, if a players helmet comes off the play is dead. Miami called a time out - I assume thinking the clock was still running.
When it was determined the play was already dead, it negated the need for the timeout.
Whether or not that part was handled appropriately (specifically whether or not a timeout can be given back once called) is beyond my depth of knowledge.
But the clock stopping when helmet comes off was correct.