Some minor changes in comments.