Minor change in comments.