Added HTML5 semantics