typos in constraints.jl