No, you are correct. Well spotted.

You should write to Dingo Jellybean ([email protected]) and let them know.

If you ever want to experience a classic JRPG, this is the one you should try.