Re-inserted copyright notice after it was removed while debugging.