reforammted some XML and fixed a few XML mistakes - did not change any text in spec