Small bug in lazy-lock.