Minor corrections in comments.