Some examples are updated.