remove extraneous traces
update verify function