Another tiny refactoring of PatternDesc