It’s the other way round. For 30 years he has happily believed that he received 16k shares. Now he learns that he was owed another 7k at the time but neither party in the transaction noticed and he wants them to pay the difference now.
Or he sold them years ago for far less than they are worth now, in which case he could have a claim for the original shares which were worth a few k after interest.