Update mutex.md