Minor update to a proof example