I imagine it’s done by hand and your experience with the mistake was just that.
I remember the early days of this tech where the program controlling the voice output didn’t know how to distinguish between “Dr.”, the abbreviation for doctor, and “dr”, the abbreviation for drive. So it would tell you to turn onto Doctor Martin Luther King Doctor and other wacky things.