add missing copyright header

Fix #148