#9: add copyright info