Issue #86: Add headers for copyright information