War eigentlich nur ein kleiner Witz am Rande, nicht ernst gemeint.
Aber gut, dass die Pedanterie wieder einmal siegte!