fix bug in logging verifications