fix smallcaps in proofs