update to PatternTesting 1.3.0