updated the verify program to make it have prettier output