Issue #53: Restore copyright information.