Looks that way to me too. So even if this fix is correct (looks to be), we'd need to know the consequences of having it actually execute now.