Replaced non-ascii copyright character with HTML equivalent.