Note: we don't need to update the copyright of existing files