Otherwise, this fix looks good.