Cosmetic change
Bug Fix: Properly record the desired number of constraints