Minor fix.

Duplicate files.