Remove an unnecessary mutex manager.