Fix characters substituted by mistake

* Substitute “‾” to “~”