fix #2: apply copyright and license header