Some small changes in HTML files.