fix silly filename