adding copyright header

Fixes #3874