Minor changes to HTML schema