minor reformatting; example tweaks