revert; smaller copyright