removed non-ASCII characters in comment