minor update: pattern matching