Fix ambiguity in definition of ^