Add forgotten copyright header
Issue #974: Add a test