Added copyright annotation.