Replacing the usage of unicode characters with html code.

This will avoid encoding issues (see PR issue).

Replaced character: http://unicode-table.com/en/2022/

![image](https://f.cloud.github.com/assets/462013/2339863/656e4754-a4bb-11e3-8245-7b96acc67258.png)