Test a fix of the \^ vs. ^ formatting bug.