Fix failure messages for check().