See JuMP/#244