Minor change to rendered html example