added forgotten copyright notice