Could be an error introduced when I copied from the browser page (which was rendered from HTML) into the posting form using simple ASCII.