I think it's in the right place with the correct name for the moment. Kral is still alive by the way. This entries history shows a name changed in 2013 by zuzu. Perhaps she can shed some of her insights. I can see why this may have been lectotyped though not all agree with that process. No easy answers here.