Improve  description of trace-check format