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