- Bugfix: changed id="menu" to class="menu" to avoid id="menu" being emitted
  twice.  Patch by Jim Riggs.