Bug fix in workspace header menu.