Minor edits for W3C HTML5 validation.