Issue #65: added warning if VERIFY_LOCK is true