Re: faultrep:display useful information in ReportFault