I've talked with Unno-san and confirmed that the intention of this fix is correct.