proof typo