small bug in displaying formulas