Good call.  We could use `<header>` explicitly ... although a simple `<strong>` seems easiest.