Correct copyright info for hard example.