Fixed some not so small errors in the newly added constraints.