Remove duplicate definition of ^