Fix an HTML blunder, and add a progressive example.