Forgotten copyright headers.
Fix #1353
Issue #1353: Add test