give better error diagnostics, for example: