better copyright
Minor bugfix
forgot an include