updated doc
destroy mutexes