Removed spurious constraints.