Corrections made in comments.