Minor fix (simple comment added).