These characters are changed unintentionally if other parts of these files are changed. It is better to fix them to avoid that.