bench/peak: fixed bug in verification