Remove typo: double > in HTML5 semantics post