I mean servers. Since not all are Apache nor IIS, and not all redirect mechanisms work the same way, some of the web servers redirect "amp"-ed URL's to nowhere.
I agree with you, that most servers should by now adhere to the standards, but since the problem has happened in the past and still there are strange things in the wild, you maybe are better off with changing this piece of code yourself