small corections to examples