Minor fix to explanation in comments.