added copyright, etc.