Minor changes in the post.