Minor adjustments to HTML