Fixed minor doc typo for mutexes