Oranges with “big navel” and “small navel” are different