adding missing copyright header

Fixes #1474