Minor fix.

Minor fix.