That name change is also mentioned
here.
Basically, since it's public domain, you can do whatever you like, even get rid of Lucy/Marion completely. In printed books, successive editions may introduce this kind of change without notice. I would just consider this a typo and correct it silently. Actually, I just did something similar (
work in progress).