Fixed a thing about html and its symbols encoding