Thanks for the info. There's a fix in progress here: #9816