Revert some files (I think)