Fix copyright mishap