minor copyright bugfix