Better HTML in examples