a note on mutexes