a bit of proofing