small corrections to examples