What was wrong with the `<header>` element type?