fix specs for constraints