minor example html fix