fix the mutex