I think we should avoid using non-ASCII.