That fix has been in for at least 6 months (looks like about Sept 2013). It might be worth updating to the latest Infusion in any case to make any subsequent merges easier.