[Talk-id] Place names

[Bernhard Hiller]

Some places in South East Java end on "-asri", e.g. Kedungasri, 
Purwoasri. But that's not a typical Javanese ending of a place name, I'd 
rather expect "-sari", i.e. Kedungsari, Purwosari - a typo in my opinion.
These place names seem to be imported, as the place-tag is hardly ever 
located in a village.
And strangely, Google Earth uses the same names - same source?
What do you think: should I change the endings, or leave them as they are?