Restore accidentally removed copyright lines.