It was Ed's call to make
It was hard to find anything in the rule book that covers this so I assumed the refs had to make the call on how to handle.
I thought it should have been defense ball and a time correction made.
The coach didn't make an issue so he seemed ok with it.