Double copyright notices?