minor corrections to examples