Specified character encoding to appease HTML validators