Fix constraints.
Reformat PatternTaggerSpec.