correct Proof Graph spell error