remove unnecessary non-ASCII symbol from source code