refined some mutexes