Wird den Entwicklern wohl entgangen sein, Fluechtigkeitsfehler. Ist nichts, was nicht mit einem kleinen Patch beheben könnte.