Fix issue with ::none appearing in formulas in dosync