Corrected unsafe character (#3166)
The double dash was apparently converted to a unicode long dash. Although this is in a comment, the mere existence of these characters triggers editors on Windows such as Notepad to insert extra characters at the beginning of file, which breaks the entire script