Adding copyright headers to fix Issue #3715