Google hits for an erroneous Latin name may be reason enough to make a redirect, so that people will find our article.