style changes to first proofs