They should not try to catch them and "flatten" them. That would be unreasonable.

They should have listened when a Polish person told them the names are the same and should be treated as such.

It's perfectly OK to "flatten" Piotrek to Piotr in Polish. It's not like that in other languages, and I get it. But here's its fine.