Added GPL copyright header.