Fixed problem with previous commit to conform to ASCII-only style.