docs fix for sample07.html