Restored copyright notice that got lost for some reason.