Forgot these two copyright notices