Some minor changes in HTML pages