minor fix in the mutual exclusion case