Correct character encoding for ^