added header (copyright notice, license, etc.)