Re: [nhc-bugs] the format of error diagnostics