Minor fixes of prover