Fix bug: (1) Incorrect precedence of ^