Avoid non-ASCII characters.

This is a work-around for #59.