add previously-forgotten copyright headers