Gracilariocolax henriettae Weber-van Bosse, 1928: 394–396, figs. 144–147 (type locality: Nusa Kembangan, Java, Indonesia).—Kylin, 1956: 558.
INDIAN OCEAN DISTRIBUTION: Indonesia (Java).