Fix typos in simplex constraint def