Hier ist ein PR, um diesen Fehler zu beheben:
(Es ist noch nicht zusammengeführt, sollte aber diese Woche passieren)
Danke, dass Sie diesen Fehler gemeldet haben, @hosna!