Fix documentation so unicode escapes show up correctly.