bug 910714: Header menu