Trying to fix failing verify test