fix simple mutex mistake