Making S3PatternSpec safe