minor changes for HTML elements