Making it easier to identify errors from the tck