Fixed a potential bug concerning + and - in patterns