We are missing the icon in the tab header  This is probably related to #456.