Fix display of errors in prover