Editings for revisions of july8