Thanks for the report. As you already spotted, the fix has been submitted and should be part of the next update. Hence closing.