Fixed a patter matching error