More minor HTML edits for W3C validation standards.