TapPrinter: standardize format for AssertException