a bit more diagnostics in failure messages