Index: wp-admin/menu-header.php
===================================================================
--- wp-admin/menu-header.php	(revision 28685)
+++ wp-admin/menu-header.php	(working copy)
@@ -207,7 +207,8 @@
 
 <div id="adminmenuback"></div>
 <div id="adminmenuwrap">
-<ul id="adminmenu" role="navigation">
+<nav role="navigation">
+<ul id="adminmenu">
 
 <?php
 
@@ -221,4 +222,5 @@
 
 ?>
 </ul>
+</nav>
 </div>