Fixed Q13 bad simplifications.