Fix HTML example