Improvements at the mutex