Some polish on the cluster prover