Updating all copyright headers due to some forgotten copyright