minor chart improvements, esp. for failed proofs