OK, then let's close this bug now. Feel free to reopen if you still see the same problem after the update. Thanks for helping debugging, and enjoy your vacation!