revising examples
machine-generated version