omit exception value when printing traceback, for it prints message unicode characters escaped, and we have already formatted the message above. also a typo fix.