Destroying the mutex sounds like a good idea