Danke für den Bericht, @Don und @RBoy!
Die Korrektur ist da. Sobald sie zusammengeführt wurde, sollte der Fehler verschwinden.