Fix for some misnamed files.