Channelaxinus oliveri Valentich-Scott & Coan in Coan & Valentich-Scott, 2012, by original designation.