Thanks for pointing this out, you are correct in how it would have to be done, and it is fixed for the next crash/reboot.
So long, and thanks for all the fish!