Replace weird characters by normal spaces
Merge pull request #4789

bac5586 Replace weird characters by normal spaces (Pieter Wuille)