code style fix
Avoid non-ASCII characters.