used html encoding for the ampersand