Fixed in a new PR.