Very minor changes in comments.