verify Fixed an equality bug