issue #2305: Fixing a bug that passing wrong mutex parameter to "wait".