more examples and some syntax fixes