cosmetic changes everywhere while reading, little changes in proofs