I only lightly modified the file, I don't want to take authorship for it