Minor fix to a code comment.