added test for verification bug