update JuMP syntax