changed examples' HTML titles