Yet another tiny refactoring of PatternDesc