revision of a treaty