Fix a bug in eqPatType