Relying on the output of unicode in the front end always makes me a little nervous, but this is probably fine.