Corrections to locking mutexes