Small HTML5 related improvements in header