replaced non-ASCII double quote characters in the source code