deleted some files that should not have been pushed