minor reformatting of examples