This copyright header shouldn't have been removed.