One more fix of LockManager