Mutex fixed, bug in Cond