Fixed minor doc typo for mutexes
Merge remote-tracking branch 'jpfuentes2/master'