editings for revisions of july8