Fix duplicate copyright header. Fixes #283