ic_OPTtools - cosmetic fix in menu