tweaked output format

made the output shorter, emphasized the "behavior", deemphasized the
results string.