Added a htmlspecialchars() when loading the contents of a file in order to
keep the html codes (i.e. &copy;) untouched after loading the file