added the 3 files to fix provided