another tiny tweak of the examples html