Fixed a problem with the new mutexes