Fix in LockManager