Minor fix to the comments.