why were these files still in the repository?